Details

Time bar (total: 58.6s)

sample190.0ms

Algorithm
intervals
Results
93.0ms582×body80valid

simplify5.2s

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

prune114.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.9b

localize88.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* z y) (* t a))
4.9b
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
5.3b
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
5.4b
(* (- (* z y) (* t a)) x)

rewrite69.0ms

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

series1.8s

Counts
4 → 12
Calls
4 calls:
67.0ms
(- (* z y) (* t a))
429.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
1.1s
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))
147.0ms
(* (- (* z y) (* t a)) x)

simplify5.6s

Counts
74 → 74
Iterations
IterNodes
done5002
32642
2698
1251
0114

prune2.2s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 9.1b

localize103.0ms

Local error

Found 4 expressions with local error:

0.3b
(- (* z y) (* t a))
4.9b
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
5.4b
(* (- (* z y) (* t a)) x)
5.5b
(* (- (* t c) (* i y)) j)

rewrite98.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
8×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
6×associate-*r* associate-*l* add-log-exp
4×expm1-log1p-u associate-*l/ insert-posit16 log1p-expm1-u
3×flip3-- flip--
2×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×sub-neg fma-neg diff-log prod-diff fma-udef
Counts
4 → 74
Calls
4 calls:
11.0ms
(- (* z y) (* t a))
1.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
36.0ms
(* (- (* z y) (* t a)) x)
45.0ms
(* (- (* t c) (* i y)) j)

series1.0s

Counts
4 → 12
Calls
4 calls:
110.0ms
(- (* z y) (* t a))
597.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
157.0ms
(* (- (* z y) (* t a)) x)
157.0ms
(* (- (* t c) (* i y)) j)

simplify6.1s

Counts
86 → 86
Iterations
IterNodes
done5000
34327
21086
1344
0143

prune2.5s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 5.4b

localize195.0ms

Local error

Found 4 expressions with local error:

5.4b
(* (- (* z y) (* t a)) x)
7.1b
(cbrt (- (* t c) (* i y)))
7.1b
(cbrt (- (* t c) (* i y)))
7.1b
(cbrt (- (* t c) (* i y)))

rewrite367.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt
9×cbrt-prod *-un-lft-identity add-cube-cbrt
6×pow1 cbrt-div add-cbrt-cube add-exp-log
4×expm1-log1p-u flip3-- insert-posit16 log1p-expm1-u flip-- add-log-exp
3×pow1/3 associate-*r* associate-*l*
2×associate-*l/
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 71
Calls
4 calls:
37.0ms
(* (- (* z y) (* t a)) x)
19.0ms
(cbrt (- (* t c) (* i y)))
295.0ms
(cbrt (- (* t c) (* i y)))
9.0ms
(cbrt (- (* t c) (* i y)))

series1.2s

Counts
4 → 12
Calls
4 calls:
138.0ms
(* (- (* z y) (* t a)) x)
330.0ms
(cbrt (- (* t c) (* i y)))
398.0ms
(cbrt (- (* t c) (* i y)))
355.0ms
(cbrt (- (* t c) (* i y)))

simplify6.1s

Counts
83 → 83
Iterations
IterNodes
done5004
33329
2946
1316
0122

prune2.3s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 5.4b

localize127.0ms

Local error

Found 4 expressions with local error:

5.3b
(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)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity 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 → 59
Calls
4 calls:
2.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))))
14.0ms
(cbrt (- (* z y) (* t a)))
9.0ms
(cbrt (- (* z y) (* t a)))
13.0ms
(cbrt (- (* z y) (* t a)))

series2.2s

Counts
4 → 12
Calls
4 calls:
1.2s
(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))))
338.0ms
(cbrt (- (* z y) (* t a)))
330.0ms
(cbrt (- (* z y) (* t a)))
350.0ms
(cbrt (- (* z y) (* t a)))

simplify4.3s

Counts
71 → 71
Iterations
IterNodes
done5008
31927
2673
1262
0107

prune2.0s

Pruning

18 alts after pruning (16 fresh and 2 done)

Merged error: 5.4b

regimes7.7s

Accuracy

28.8% (5.3b remaining)

Error of 9.9b against oracle of 4.6b and baseline of 12.1b

bsearch546.0ms

Steps
ItersRangePoint
11
3.1329973407803143e+97
1.4369199905592724e+119
2.6554686754824464e+98
9
-1.8415223110375944e+79
-7.960744265358492e+69
-5.827232257640776e+78

simplify18.0ms

Iterations
IterNodes
done60
160
040

end0.0ms

sample6.4s

Algorithm
intervals
Results
3.4s19020×body80valid