Details

Time bar (total: 29.6s)

sample103.0ms

Algorithm
intervals
Results
62.0ms611×body80valid

simplify2.4s

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.5b

localize65.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* i a) (* z c))
4.3b
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
4.5b
(* (- (* z y) (* t a)) x)
4.6b
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))

rewrite37.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 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 → 58
Calls
4 calls:
10.0ms
(- (* i a) (* z c))
0.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
24.0ms
(* (- (* z y) (* t a)) x)
0.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))

series1.1s

Counts
4 → 12
Calls
4 calls:
60.0ms
(- (* i a) (* z c))
305.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
86.0ms
(* (- (* z y) (* t a)) x)
648.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))

simplify2.4s

Counts
70 → 70
Iterations
IterNodes
done5002
33371
2894
1296
0122

prune766.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.1b

localize57.0ms

Local error

Found 4 expressions with local error:

0.2b
(- (* a i) (* z c))
4.3b
(fma (- (* a i) (* z c)) b (* (- (* z y) (* t a)) x))
4.5b
(* (- (* z y) (* t a)) x)
4.6b
(fma (- (* t c) (* i y)) j (fma (- (* a i) (* z c)) b (* (- (* z y) (* t a)) x)))

rewrite62.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 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 → 58
Calls
4 calls:
13.0ms
(- (* a i) (* z c))
1.0ms
(fma (- (* a i) (* z c)) b (* (- (* z y) (* t a)) x))
46.0ms
(* (- (* z y) (* t a)) x)
0.0ms
(fma (- (* t c) (* i y)) j (fma (- (* a i) (* z c)) b (* (- (* z y) (* t a)) x)))

series1.1s

Counts
4 → 12
Calls
4 calls:
52.0ms
(- (* a i) (* z c))
241.0ms
(fma (- (* a i) (* z c)) b (* (- (* z y) (* t a)) x))
90.0ms
(* (- (* z y) (* t a)) x)
678.0ms
(fma (- (* t c) (* i y)) j (fma (- (* a i) (* z c)) b (* (- (* z y) (* t a)) x)))

simplify2.4s

Counts
70 → 70
Iterations
IterNodes
done5000
33325
2878
1292
0120

prune814.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.2b

localize95.0ms

Local error

Found 4 expressions with local error:

4.6b
(fma (- (* t c) (* i y)) j (fma (- (* a i) (* z c)) b (* (* (cbrt (* (- (* z y) (* t a)) x)) (cbrt (* (- (* z y) (* t a)) x))) (cbrt (* (- (* z y) (* t a)) x)))))
6.1b
(cbrt (* (- (* z y) (* t a)) x))
6.1b
(cbrt (* (- (* z y) (* t a)) x))
6.1b
(cbrt (* (- (* z y) (* t a)) x))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-div associate-*l/
4×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt log1p-expm1-u add-log-exp
3×cbrt-prod flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 49
Calls
4 calls:
0.0ms
(fma (- (* t c) (* i y)) j (fma (- (* a i) (* z c)) b (* (* (cbrt (* (- (* z y) (* t a)) x)) (cbrt (* (- (* z y) (* t a)) x))) (cbrt (* (- (* z y) (* t a)) x)))))
14.0ms
(cbrt (* (- (* z y) (* t a)) x))
13.0ms
(cbrt (* (- (* z y) (* t a)) x))
14.0ms
(cbrt (* (- (* z y) (* t a)) x))

series1.5s

Counts
4 → 12
Calls
4 calls:
704.0ms
(fma (- (* t c) (* i y)) j (fma (- (* a i) (* z c)) b (* (* (cbrt (* (- (* z y) (* t a)) x)) (cbrt (* (- (* z y) (* t a)) x))) (cbrt (* (- (* z y) (* t a)) x)))))
279.0ms
(cbrt (* (- (* z y) (* t a)) x))
244.0ms
(cbrt (* (- (* z y) (* t a)) x))
253.0ms
(cbrt (* (- (* z y) (* t a)) x))

simplify1.9s

Counts
61 → 61
Iterations
IterNodes
done5001
32642
2810
1282
0114

prune1.1s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 4.7b

localize126.0ms

Local error

Found 4 expressions with local error:

4.6b
(fma (- (* t c) (* i y)) j (fma (- (* a i) (* z c)) b (* (* (cbrt (* (- (* z y) (* t a)) x)) (cbrt (* (- (* z y) (* t a)) x))) (* (cbrt (- (* z y) (* t a))) (cbrt x)))))
5.9b
(cbrt (- (* z y) (* t a)))
6.1b
(cbrt (* (- (* z y) (* t a)) x))
6.1b
(cbrt (* (- (* z y) (* t a)) x))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-div
5×cbrt-prod add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube associate-*l/ add-exp-log log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 51
Calls
4 calls:
1.0ms
(fma (- (* t c) (* i y)) j (fma (- (* a i) (* z c)) b (* (* (cbrt (* (- (* z y) (* t a)) x)) (cbrt (* (- (* z y) (* t a)) x))) (* (cbrt (- (* z y) (* t a))) (cbrt x)))))
10.0ms
(cbrt (- (* z y) (* t a)))
25.0ms
(cbrt (* (- (* z y) (* t a)) x))
17.0ms
(cbrt (* (- (* z y) (* t a)) x))

series2.1s

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

simplify2.2s

Counts
63 → 63
Iterations
IterNodes
done5002
33168
2977
1355
0147

prune1.0s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 4.7b

regimes2.3s

Accuracy

-18.7% (9.3b remaining)

Error of 13.9b against oracle of 4.6b and baseline of 12.4b

bsearch331.0ms

Steps
ItersRangePoint
7
-6.635049290866234e-32
-1.7844426549026617e-33
-6.53514016554071e-32
10
-9.355008910850116e+33
-5.197110785751455e+21
-8.268102197384483e+27

simplify12.0ms

Iterations
IterNodes
done52
152
040

end0.0ms

sample5.6s

Algorithm
intervals
Results
4.1s19247×body80valid