Details

Time bar (total: 23.2s)

sample155.0ms

Algorithm
intervals
Results
80.0ms875×body80nan
27.0ms256×body80valid

simplify73.0ms

Counts
1 → 1
Iterations
IterNodes
done16
216
112
09

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize89.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (sqrt (- 1.0 (* x x))) x)
0.0b
(log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
0.0b
(+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))

rewrite192.0ms

Algorithm
rewrite-expression-head
Rules
40×*-un-lft-identity
33×times-frac
28×add-sqr-sqrt
24×add-cube-cbrt
16×sqrt-prod
8×log-prod distribute-lft-out
7×associate-/l*
6×add-exp-log
5×add-cbrt-cube div-inv add-log-exp
4×pow1 difference-of-squares
3×log-div associate-/r* insert-posit16
2×flip3-+ distribute-rgt-out sqrt-div frac-add flip-+ associate-/l/
1×cbrt-undiv +-commutative clear-num sum-log frac-2neg flip3-- div-exp rem-log-exp log-pow flip--
Counts
3 → 85
Calls
3 calls:
30.0ms
(/ (sqrt (- 1.0 (* x x))) x)
69.0ms
(log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
87.0ms
(+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))

series781.0ms

Counts
3 → 9
Calls
3 calls:
208.0ms
(/ (sqrt (- 1.0 (* x x))) x)
410.0ms
(log (+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x)))
163.0ms
(+ (/ 1.0 x) (/ (sqrt (- 1.0 (* x x))) x))

simplify3.0s

Counts
94 → 94
Iterations
IterNodes
done5002
21416
1478
0215

prune925.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize160.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 1.0 x) (* (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x))))
0.3b
(/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x))
0.3b
(/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x))
0.5b
(* (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)))

rewrite629.0ms

Algorithm
rewrite-expression-head
Rules
938×sqrt-prod
666×add-sqr-sqrt
580×times-frac
282×*-un-lft-identity add-cube-cbrt
132×swap-sqr
64×associate-*r* associate-*l*
49×unswap-sqr
42×difference-of-squares
20×add-cbrt-cube add-exp-log associate-/l*
12×associate-/r*
11×pow1
8×sqrt-div
6×cbrt-undiv sqrt-undiv div-exp div-inv add-log-exp
4×prod-exp cbrt-unprod insert-posit16 associate-/l/
3×frac-add
2×frac-times clear-num frac-2neg flip3-- associate-*l/ associate-*r/ flip--
1×pow2 +-commutative sum-log rem-square-sqrt flip3-+ pow-plus sqrt-unprod pow-prod-down pow-sqr *-commutative pow-prod-up flip-+
Counts
4 → 535
Calls
4 calls:
49.0ms
(+ (/ 1.0 x) (* (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x))))
44.0ms
(/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x))
40.0ms
(/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x))
306.0ms
(* (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)))

series897.0ms

Counts
4 → 12
Calls
4 calls:
211.0ms
(+ (/ 1.0 x) (* (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x))))
238.0ms
(/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x))
231.0ms
(/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x))
216.0ms
(* (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)) (/ (sqrt (sqrt (- 1.0 (* x x)))) (sqrt x)))

simplify7.9s

Counts
547 → 547
Iterations
IterNodes
done5001
24136
11393
0427

prune3.3s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes281.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations
IterNodes
done10
110
09

end0.0ms

sample4.8s

Algorithm
intervals
Results
2.7s24380×body80nan
1.3s8000×body80valid