Details

Time bar (total: 16.5s)

sample59.0ms

Algorithm
intervals
Results
18.0ms256×body80valid
14.0ms262×body80nan

simplify2.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
done67

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize15.0ms

Local error

Found 2 expressions with local error:

0.2b
(asinh (/ 1.0 x))
0.3b
(/ (acos x) (asinh (/ 1.0 x)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
times-frac
add-cbrt-cube add-exp-log
associate-/r* associate-/l*
pow1 add-log-exp
acos-asin cbrt-undiv clear-num frac-2neg div-sub div-exp asinh-def div-inv
Counts
2 → 36
Calls
2 calls:
0.0ms
(asinh (/ 1.0 x))
11.0ms
(/ (acos x) (asinh (/ 1.0 x)))

series1.7s

Counts
2 → 6
Calls
2 calls:
766.0ms
(asinh (/ 1.0 x))
935.0ms
(/ (acos x) (asinh (/ 1.0 x)))

simplify1.4s

Counts
42 → 42
Iterations

Useful iterations: done (1.4s)

IterNodesCost
0137704
1343693
21725623
done5001621

prune288.0ms

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.2b
(asinh (/ 1.0 x))
0.2b
(/ 1 (asinh (/ 1.0 x)))
0.3b
(* (acos x) (/ 1 (asinh (/ 1.0 x))))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
26×add-sqr-sqrt
20×*-un-lft-identity times-frac
19×add-cube-cbrt
16×add-exp-log
13×associate-*r*
10×add-cbrt-cube
pow1
div-exp prod-exp
associate-/r* associate-*l* associate-/l* add-log-exp unswap-sqr
cbrt-undiv rec-exp 1-exp cbrt-unprod div-inv
clear-num frac-2neg asinh-def pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
3 → 75
Calls
3 calls:
0.0ms
(asinh (/ 1.0 x))
11.0ms
(/ 1 (asinh (/ 1.0 x)))
30.0ms
(* (acos x) (/ 1 (asinh (/ 1.0 x))))

series2.6s

Counts
3 → 9
Calls
3 calls:
769.0ms
(asinh (/ 1.0 x))
940.0ms
(/ 1 (asinh (/ 1.0 x)))
923.0ms
(* (acos x) (/ 1 (asinh (/ 1.0 x))))

simplify7.9s

Counts
84 → 84
Iterations

Useful iterations: 2 (1.2s)

IterNodesCost
01931277
15181170
248541003
done50001003

prune360.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 0.0b

regimes201.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
done67

end0.0ms

sample1.8s

Algorithm
intervals
Results
745.0ms8000×body80valid
541.0ms8104×body80nan