Details

Time bar (total: 24.5s)

sample149.0ms

Algorithm
intervals
Results
44.0ms105×body320valid
40.0ms144×body160valid
35.0ms275×body80nan
1.0ms7×body80valid

simplify3.0s

Counts
1 → 1
Iterations
IterNodes
done5000
53432
41243
3370
2119
147
019

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 34.7b

localize70.0ms

Local error

Found 4 expressions with local error:

8.6b
(cbrt (* (/ -1/2 a) (+ g (sqrt (* (- g h) (+ h g))))))
9.6b
(cbrt (* (/ (- (sqrt (* (- g h) (+ h g))) g) a) 1/2))
27.8b
(sqrt (* (- g h) (+ h g)))
27.8b
(sqrt (* (- g h) (+ h g)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-div
10×frac-times pow1
8×flip3-+ flip-+
6×cbrt-div flip3-- associate-*l/ associate-*r/ flip--
4×add-sqr-sqrt expm1-log1p-u *-un-lft-identity sqrt-pow1 add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-prod pow1/2 pow1/3 pow-prod-down sqrt-prod
Counts
4 → 74
Calls
4 calls:
6.0ms
(cbrt (* (/ -1/2 a) (+ g (sqrt (* (- g h) (+ h g))))))
11.0ms
(cbrt (* (/ (- (sqrt (* (- g h) (+ h g))) g) a) 1/2))
16.0ms
(sqrt (* (- g h) (+ h g)))
22.0ms
(sqrt (* (- g h) (+ h g)))

series965.0ms

Counts
4 → 12
Calls
4 calls:
490.0ms
(cbrt (* (/ -1/2 a) (+ g (sqrt (* (- g h) (+ h g))))))
311.0ms
(cbrt (* (/ (- (sqrt (* (- g h) (+ h g))) g) a) 1/2))
98.0ms
(sqrt (* (- g h) (+ h g)))
66.0ms
(sqrt (* (- g h) (+ h g)))

simplify1.8s

Counts
86 → 86
Iterations
IterNodes
done5010
21627
1481
0204

prune912.0ms

Pruning

21 alts after pruning (21 fresh and 0 done)

Merged error: 28.6b

localize82.0ms

Local error

Found 4 expressions with local error:

2.2b
(- (sqrt (* (- g h) (+ h g))) g)
9.6b
(cbrt (* (/ (- (sqrt (* (- g h) (+ h g))) g) a) 1/2))
27.8b
(sqrt (* (- g h) (+ h g)))
27.8b
(sqrt (* (- g h) (+ h g)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
16×sqrt-div
14×add-sqr-sqrt *-un-lft-identity
12×prod-diff add-cube-cbrt
10×pow1
8×frac-times
7×flip3-- flip--
6×flip3-+ sqrt-prod flip-+ add-log-exp
5×associate-*l/
4×expm1-log1p-u sqrt-pow1 add-cbrt-cube fma-neg associate-*r/ add-exp-log insert-posit16 log1p-expm1-u
2×pow1/2 pow-prod-down
1×cbrt-prod cbrt-div sub-neg pow1/3 diff-log distribute-lft-out-- difference-of-squares
Counts
4 → 90
Calls
4 calls:
17.0ms
(- (sqrt (* (- g h) (+ h g))) g)
15.0ms
(cbrt (* (/ (- (sqrt (* (- g h) (+ h g))) g) a) 1/2))
9.0ms
(sqrt (* (- g h) (+ h g)))
10.0ms
(sqrt (* (- g h) (+ h g)))

series679.0ms

Counts
4 → 12
Calls
4 calls:
97.0ms
(- (sqrt (* (- g h) (+ h g))) g)
394.0ms
(cbrt (* (/ (- (sqrt (* (- g h) (+ h g))) g) a) 1/2))
106.0ms
(sqrt (* (- g h) (+ h g)))
82.0ms
(sqrt (* (- g h) (+ h g)))

simplify1.5s

Counts
102 → 102
Iterations
IterNodes
done5001
21333
1470
0202

prune1.1s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 27.8b

localize74.0ms

Local error

Found 4 expressions with local error:

2.1b
(+ g (sqrt (* (- g h) (+ h g))))
2.2b
(- (sqrt (* (- g h) (+ h g))) g)
27.8b
(sqrt (* (- g h) (+ h g)))
27.8b
(sqrt (* (- g h) (+ h g)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
16×sqrt-div
15×add-sqr-sqrt
13×add-cube-cbrt
12×prod-diff
10×pow1
8×frac-times add-log-exp
7×flip3-+ flip3-- flip-+ flip--
6×sqrt-prod
4×expm1-log1p-u sqrt-pow1 add-cbrt-cube fma-neg associate-*l/ associate-*r/ add-exp-log insert-posit16 log1p-expm1-u
3×fma-def
2×pow1/2 pow-prod-down
1×+-commutative sum-log sub-neg diff-log distribute-lft-out distribute-lft-out-- difference-of-squares
Counts
4 → 95
Calls
4 calls:
5.0ms
(+ g (sqrt (* (- g h) (+ h g))))
21.0ms
(- (sqrt (* (- g h) (+ h g))) g)
9.0ms
(sqrt (* (- g h) (+ h g)))
10.0ms
(sqrt (* (- g h) (+ h g)))

series343.0ms

Counts
4 → 12
Calls
4 calls:
90.0ms
(+ g (sqrt (* (- g h) (+ h g))))
94.0ms
(- (sqrt (* (- g h) (+ h g))) g)
77.0ms
(sqrt (* (- g h) (+ h g)))
81.0ms
(sqrt (* (- g h) (+ h g)))

simplify2.8s

Counts
107 → 107
Iterations
IterNodes
done5000
34912
21157
1354
0143

prune985.0ms

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 27.7b

localize74.0ms

Local error

Found 4 expressions with local error:

27.8b
(sqrt (* (- g h) (+ h g)))
27.8b
(sqrt (* (- g h) (+ h g)))
27.8b
(sqrt (* (- g h) (+ h g)))
27.8b
(sqrt (* (- g h) (+ h g)))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
32×sqrt-div
16×frac-times pow1
12×flip3-+ flip3-- flip-+ flip--
8×sqrt-pow1 associate-*l/ associate-*r/
4×add-sqr-sqrt expm1-log1p-u *-un-lft-identity add-cbrt-cube pow1/2 pow-prod-down add-exp-log add-cube-cbrt sqrt-prod insert-posit16 log1p-expm1-u add-log-exp
Counts
4 → 88
Calls
4 calls:
15.0ms
(sqrt (* (- g h) (+ h g)))
17.0ms
(sqrt (* (- g h) (+ h g)))
16.0ms
(sqrt (* (- g h) (+ h g)))
17.0ms
(sqrt (* (- g h) (+ h g)))

series336.0ms

Counts
4 → 12
Calls
4 calls:
76.0ms
(sqrt (* (- g h) (+ h g)))
85.0ms
(sqrt (* (- g h) (+ h g)))
93.0ms
(sqrt (* (- g h) (+ h g)))
81.0ms
(sqrt (* (- g h) (+ h g)))

simplify2.1s

Counts
100 → 100
Iterations
IterNodes
done5000
33513
2787
1175
070

prune957.0ms

Pruning

28 alts after pruning (28 fresh and 0 done)

Merged error: 27.7b

regimes829.0ms

Accuracy

42.1% (1.2b remaining)

Error of 30.8b against oracle of 29.5b and baseline of 31.7b

bsearch277.0ms

Steps
ItersRangePoint
10
-1.7568584363366094e-151
-1.5754220496330615e-165
-6.3921017940024375e-161

simplify7.0ms

Iterations
IterNodes
done41
141
033

end0.0ms

sample5.3s

Algorithm
intervals
Results
2.5s3731×body320valid
1.2s4114×body160valid
1.1s8090×body80nan
18.0ms155×body80valid