Details

Time bar (total: 33.4s)

sample171.0ms

Algorithm
intervals
Results
123.0ms555×body80valid

simplify2.8s

Counts
1 → 1
Iterations
IterNodes
done5000
52724
4907
3333
2110
147
023

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.3b

localize37.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* z y) (* t a))
3.6b
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
5.1b
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
5.1b
(* (- (* z y) (* t a)) x)

rewrite227.0ms

Algorithm
rewrite-expression-head
Rules
157×add-sqr-sqrt
144×prod-diff
97×*-un-lft-identity
94×associate-*l*
81×add-cube-cbrt
78×associate-*r*
34×unswap-sqr
26×*-commutative
12×fma-neg
8×distribute-lft-out-- difference-of-squares
6×pow1 add-cbrt-cube add-exp-log add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
2×flip3-- associate-*l/ fma-udef flip--
1×sub-neg diff-log pow-prod-down prod-exp cbrt-unprod
Counts
4 → 232
Calls
4 calls:
70.0ms
(- (* z y) (* t a))
0.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
0.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
147.0ms
(* (- (* z y) (* t a)) x)

series1.2s

Counts
4 → 12
Calls
4 calls:
54.0ms
(- (* z y) (* t a))
310.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
724.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
84.0ms
(* (- (* z y) (* t a)) x)

simplify1.8s

Counts
244 → 244
Iterations
IterNodes
done5000
21568
1691
0312

prune1.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 4.7b

localize62.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (* i a) (* z c))
3.6b
(fma (- (* i a) (* z c)) b (* (fma y z (- (* t a))) x))
5.1b
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (fma y z (- (* t a))) x)))
5.1b
(* (fma y z (- (* t a))) x)

rewrite83.0ms

Algorithm
rewrite-expression-head
Rules
145×add-sqr-sqrt
144×prod-diff
89×*-un-lft-identity
82×associate-*l*
81×add-cube-cbrt
78×associate-*r*
30×unswap-sqr
26×*-commutative
12×fma-neg
6×pow1 add-cbrt-cube add-exp-log add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u distribute-lft-out-- difference-of-squares
2×fma-udef
1×sub-neg flip3-- diff-log pow-prod-down prod-exp cbrt-unprod flip--
Counts
4 → 222
Calls
4 calls:
52.0ms
(- (* i a) (* z c))
0.0ms
(fma (- (* i a) (* z c)) b (* (fma y z (- (* t a))) x))
0.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (fma y z (- (* t a))) x)))
15.0ms
(* (fma y z (- (* t a))) x)

series1.4s

Counts
4 → 12
Calls
4 calls:
74.0ms
(- (* i a) (* z c))
330.0ms
(fma (- (* i a) (* z c)) b (* (fma y z (- (* t a))) x))
855.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (fma y z (- (* t a))) x)))
108.0ms
(* (fma y z (- (* t a))) x)

simplify2.0s

Counts
234 → 234
Iterations
IterNodes
done5001
21514
1693
0313

prune1.9s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 3.9b

localize63.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt i)
3.6b
(fma (fma (* (cbrt i) (cbrt i)) (* (cbrt i) a) (- (* z c))) b (* (fma y z (- (* t a))) x))
5.1b
(fma (- (* t c) (* i y)) j (fma (fma (* (cbrt i) (cbrt i)) (* (cbrt i) a) (- (* z c))) b (* (fma y z (- (* t a))) x)))
5.1b
(* (fma y z (- (* t a))) x)

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube add-exp-log
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×cbrt-prod associate-*r* associate-*l*
2×fma-udef
1×pow1/3 pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 57
Calls
4 calls:
1.0ms
(cbrt i)
0.0ms
(fma (fma (* (cbrt i) (cbrt i)) (* (cbrt i) a) (- (* z c))) b (* (fma y z (- (* t a))) x))
0.0ms
(fma (- (* t c) (* i y)) j (fma (fma (* (cbrt i) (cbrt i)) (* (cbrt i) a) (- (* z c))) b (* (fma y z (- (* t a))) x)))
8.0ms
(* (fma y z (- (* t a))) x)

series2.1s

Counts
4 → 12
Calls
4 calls:
305.0ms
(cbrt i)
634.0ms
(fma (fma (* (cbrt i) (cbrt i)) (* (cbrt i) a) (- (* z c))) b (* (fma y z (- (* t a))) x))
1.1s
(fma (- (* t c) (* i y)) j (fma (fma (* (cbrt i) (cbrt i)) (* (cbrt i) a) (- (* z c))) b (* (fma y z (- (* t a))) x)))
109.0ms
(* (fma y z (- (* t a))) x)

simplify2.4s

Counts
69 → 69
Iterations
IterNodes
done5001
31292
2469
1214
0113

prune858.0ms

Pruning

19 alts after pruning (18 fresh and 1 done)

Merged error: 3.9b

localize75.0ms

Local error

Found 4 expressions with local error:

5.1b
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x))))
6.9b
(cbrt (- (* z y) (* t a)))
6.9b
(cbrt (- (* z y) (* t a)))
6.9b
(cbrt (- (* z y) (* t a)))

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
43×add-sqr-sqrt
33×cbrt-prod
31×*-un-lft-identity
12×associate-*l* distribute-lft-out-- difference-of-squares unswap-sqr
7×add-cube-cbrt
6×cbrt-div
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 83
Calls
4 calls:
0.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x))))
33.0ms
(cbrt (- (* z y) (* t a)))
43.0ms
(cbrt (- (* z y) (* t a)))
45.0ms
(cbrt (- (* z y) (* t a)))

series1.6s

Counts
4 → 12
Calls
4 calls:
989.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt (- (* z y) (* t a))) (cbrt (- (* z y) (* t a)))) (* (cbrt (- (* z y) (* t a))) x))))
197.0ms
(cbrt (- (* z y) (* t a)))
224.0ms
(cbrt (- (* z y) (* t a)))
172.0ms
(cbrt (- (* z y) (* t a)))

simplify2.3s

Counts
95 → 95
Iterations
IterNodes
done5000
31989
2729
1302
0131

prune955.0ms

Pruning

19 alts after pruning (17 fresh and 2 done)

Merged error: 3.9b

regimes2.4s

Accuracy

4.6% (6.9b remaining)

Error of 11.1b against oracle of 4.2b and baseline of 11.4b

bsearch427.0ms

Steps
ItersRangePoint
8
2.936681594123323e-169
1.0120805371792564e-164
2.9257973134496947e-167
9
-7.620479323460753e-224
-2.20003887298292e-229
-1.3170221203399503e-225

simplify21.0ms

Iterations
IterNodes
done73
273
169
046

end0.0ms

sample7.1s

Algorithm
intervals
Results
5.2s18728×body80valid