Details

Time bar (total: 6.3s)

sample165.0ms

Algorithm
intervals
Results
36.0ms769×body80nan
15.0ms256×body80valid

simplify19.0ms

Counts
1 → 1

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize10.0ms

Local error

Found 1 expressions with local error:

0.2b
(log (- (/ 1.0 x) 1.0))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
7×add-sqr-sqrt
6×log-prod
4×*-un-lft-identity
2×pow1 add-exp-log add-cube-cbrt log-div difference-of-squares
1×flip3-- times-frac rem-log-exp log-pow add-cbrt-cube flip-- distribute-lft-out-- add-log-exp
Counts
1 → 17
Calls
1 calls:
65.0ms
(log (- (/ 1.0 x) 1.0))

series127.0ms

Counts
1 → 3
Calls
1 calls:
126.0ms
(log (- (/ 1.0 x) 1.0))

simplify862.0ms

Counts
20 → 20

prune65.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize25.0ms

Local error

Found 1 expressions with local error:

0.0b
(* 0.5 (/ (pow x 2) (pow 1.0 2)))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
80×times-frac
69×add-sqr-sqrt
68×associate-*r*
56×unpow-prod-down
35×add-cube-cbrt *-un-lft-identity
24×add-exp-log unpow2 sqr-pow
17×unswap-sqr
10×prod-exp
9×div-exp
6×pow-to-exp pow-exp add-cbrt-cube
3×pow1 associate-*l*
2×cbrt-unprod
1×cbrt-undiv associate-*r/ pow-prod-down *-commutative div-inv add-log-exp
Counts
1 → 110
Calls
1 calls:
56.0ms
(* 0.5 (/ (pow x 2) (pow 1.0 2)))

series77.0ms

Counts
1 → 3
Calls
1 calls:
77.0ms
(* 0.5 (/ (pow x 2) (pow 1.0 2)))

simplify878.0ms

Counts
113 → 113

prune465.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes90.0ms

Accuracy

0% (0.5b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 0.5b

bsearch0.0ms

simplify776.0ms

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.5s23497×body80nan
409.0ms8000×body80valid