Details

Time bar (total: 29.2s)

sample152.0ms

Algorithm
intervals
Results
91.0ms611×body80valid

simplify2.8s

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

prune35.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 11.5b

localize58.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)))

rewrite36.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:
12.0ms
(- (* i a) (* z c))
0.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
20.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.3s

Counts
4 → 12
Calls
4 calls:
55.0ms
(- (* i a) (* z c))
343.0ms
(fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x))
104.0ms
(* (- (* z y) (* t a)) x)
780.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (- (* z y) (* t a)) x)))

simplify2.8s

Counts
70 → 70
Iterations
IterNodes
done5002
33371
2894
1296
0122

prune1.1s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.1b

localize53.0ms

Local error

Found 4 expressions with local error:

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

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×distribute-rgt-in sub-neg distribute-lft-in associate-*r* associate-*l* prod-diff
2×flip3-- associate-*r/ fma-udef flip--
1×fma-neg diff-log pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 64
Calls
4 calls:
7.0ms
(- (* i a) (* z c))
0.0ms
(fma (- (* i a) (* z c)) b (* x (- (* y z) (* t a))))
27.0ms
(* x (- (* y z) (* t a)))
0.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* x (- (* y z) (* t a)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
52.0ms
(- (* i a) (* z c))
297.0ms
(fma (- (* i a) (* z c)) b (* x (- (* y z) (* t a))))
114.0ms
(* x (- (* y z) (* t a)))
866.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* x (- (* y z) (* t a)))))

simplify2.1s

Counts
76 → 76
Iterations
IterNodes
done5000
33307
2974
1334
0137

prune890.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 5.2b

localize115.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
6×cbrt-div associate-*r/
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:
1.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a)))))))
9.0ms
(cbrt (* x (- (* y z) (* t a))))
8.0ms
(cbrt (* x (- (* y z) (* t a))))
8.0ms
(cbrt (* x (- (* y z) (* t a))))

series1.6s

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

simplify2.0s

Counts
61 → 61
Iterations
IterNodes
done5010
32136
2699
1251
0104

prune899.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 4.7b

localize116.0ms

Local error

Found 4 expressions with local error:

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

rewrite24.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-*r/ add-exp-log log1p-expm1-u add-log-exp
3×flip3-- pow1/3 flip--
1×fma-udef
Counts
4 → 51
Calls
4 calls:
0.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (* (cbrt x) (cbrt (- (* y z) (* t a)))))))
5.0ms
(cbrt (- (* y z) (* t a)))
8.0ms
(cbrt (* x (- (* y z) (* t a))))
9.0ms
(cbrt (* x (- (* y z) (* t a))))

series1.5s

Counts
4 → 12
Calls
4 calls:
876.0ms
(fma (- (* t c) (* i y)) j (fma (- (* i a) (* z c)) b (* (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (* (cbrt x) (cbrt (- (* y z) (* t a)))))))
189.0ms
(cbrt (- (* y z) (* t a)))
208.0ms
(cbrt (* x (- (* y z) (* t a))))
193.0ms
(cbrt (* x (- (* y z) (* t a))))

simplify2.2s

Counts
63 → 63
Iterations
IterNodes
done5001
32914
2908
1335
0141

prune854.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 4.7b

regimes1.9s

Accuracy

-18.7% (9.3b remaining)

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

bsearch336.0ms

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

simplify20.0ms

Iterations
IterNodes
done52
152
040

end0.0ms

sample4.9s

Algorithm
intervals
Results
3.6s19247×body80valid