Details

Time bar (total: 27.8s)

sample95.0ms

Algorithm
intervals
Results
51.0ms399×body80valid

simplify260.0ms

Counts
1 → 1
Iterations
IterNodes
done195
5195
4184
3134
265
126
013

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 1 expressions with local error:

2.6b
(fma a (fma z b t) (fma y z x))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt expm1-log1p-u add-cube-cbrt *-un-lft-identity add-cbrt-cube fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma a (fma z b t) (fma y z x))

series222.0ms

Counts
1 → 3
Calls
1 calls:
222.0ms
(fma a (fma z b t) (fma y z x))

simplify2.3s

Counts
13 → 13
Iterations
IterNodes
done5024
41276
3242
285
143
026

prune170.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
5.8b
(* (* a z) b)

rewrite253.0ms

Algorithm
rewrite-expression-head
Rules
11×add-log-exp
7×pow1 add-exp-log add-cbrt-cube
6×sum-log
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
3×fma-def associate-*r* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u log1p-expm1-u
1×+-commutative associate-+l+ flip3-+ associate-*l* *-commutative flip-+
Counts
2 → 39
Calls
2 calls:
227.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
24.0ms
(* (* a z) b)

series319.0ms

Counts
2 → 6
Calls
2 calls:
238.0ms
(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
80.0ms
(* (* a z) b)

simplify2.6s

Counts
45 → 45
Iterations
IterNodes
done5000
2987
1223
085

prune471.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
4.2b
(* a (* z b))

rewrite261.0ms

Algorithm
rewrite-expression-head
Rules
11×add-log-exp
7×pow1 add-exp-log add-cbrt-cube
6×sum-log
4×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
3×fma-def associate-*l* pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u log1p-expm1-u
1×+-commutative associate-+l+ flip3-+ associate-*r* *-commutative flip-+
Counts
2 → 39
Calls
2 calls:
226.0ms
(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
33.0ms
(* a (* z b))

series244.0ms

Counts
2 → 6
Calls
2 calls:
184.0ms
(+ (+ (+ x (* y z)) (* t a)) (* a (* z b)))
60.0ms
(* a (* z b))

simplify6.4s

Counts
45 → 45
Iterations
IterNodes
done5000
34735
2849
1208
081

prune470.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize71.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt b)
0.6b
(cbrt b)
1.6b
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
4.4b
(* (* a z) (* (cbrt b) (cbrt b)))

rewrite312.0ms

Algorithm
rewrite-expression-head
Rules
34×pow1 add-exp-log
21×pow-prod-down prod-exp add-cbrt-cube cbrt-unprod
9×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
7×associate-*r*
4×expm1-log1p-u log1p-expm1-u add-log-exp
2×pow1/3 associate-*l* *-commutative
Counts
4 → 82
Calls
4 calls:
2.0ms
(cbrt b)
2.0ms
(cbrt b)
234.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
68.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

series1.2s

Counts
4 → 12
Calls
4 calls:
444.0ms
(cbrt b)
400.0ms
(cbrt b)
121.0ms
(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
268.0ms
(* (* a z) (* (cbrt b) (cbrt b)))

simplify7.3s

Counts
94 → 94
Iterations
IterNodes
done5000
34968
21038
1275
0101

prune865.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.0b

regimes1.2s

Accuracy

74.5% (0.4b remaining)

Error of 0.5b against oracle of 0.0b and baseline of 1.7b

bsearch216.0ms

Steps
ItersRangePoint
8
1.8766776395076424e-110
7.518153360354652e-106
1.0850950846172467e-107
8
-4.367445943534672e+25
-6.639619772219506e+21
-6.892202976693897e+23

simplify11.0ms

Iterations
IterNodes
done35
135
022

end0.0ms

sample2.4s

Algorithm
intervals
Results
1.3s11795×body80valid