Details

Time bar (total: 36.4s)

sample80.0ms

Algorithm
intervals
Results
38.0ms399×body80valid

simplify179.0ms

Counts
1 → 1
Iterations
IterNodes
done108
5108
4107
389
254
126
013

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize40.0ms

Local error

Found 3 expressions with local error:

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

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
10×add-log-exp
7×add-sqr-sqrt flip3-+ flip-+
6×associate-*l/
5×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
4×frac-add sum-log
3×associate-*r* associate-*l*
2×+-commutative
1×associate-+l+ pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 48
Calls
3 calls:
15.0ms
(+ (* t a) x)
81.0ms
(+ (+ (* t a) x) (* (+ y (* b a)) z))
34.0ms
(* (+ y (* b a)) z)

series327.0ms

Counts
3 → 9
Calls
3 calls:
42.0ms
(+ (* t a) x)
190.0ms
(+ (+ (* t a) x) (* (+ y (* b a)) z))
95.0ms
(* (+ y (* b a)) z)

simplify3.4s

Counts
57 → 57
Iterations
IterNodes
done5015
21361
1351
0115

prune1.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 2 expressions with local error:

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

rewrite233.0ms

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

series257.0ms

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

simplify5.2s

Counts
38 → 38
Iterations
IterNodes
done5000
2955
1216
081

prune463.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize135.0ms

Local error

Found 2 expressions with local error:

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

rewrite256.0ms

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

series809.0ms

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

simplify6.6s

Counts
38 → 38
Iterations
IterNodes
done5001
2812
1199
077

prune799.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize57.0ms

Local error

Found 2 expressions with local error:

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

rewrite567.0ms

Algorithm
rewrite-expression-head
Rules
7×add-log-exp
6×add-sqr-sqrt flip3-+ associate-*r/ flip-+
4×pow1 add-exp-log add-cube-cbrt *-un-lft-identity frac-add add-cbrt-cube
3×associate-*r* associate-*l* sum-log
2×distribute-rgt-in associate-+r+ distribute-lft-in
1×+-commutative associate-+l+ pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 41
Calls
2 calls:
89.0ms
(+ (+ x (* y z)) (* a (+ t (* b z))))
469.0ms
(* a (+ t (* b z)))

series549.0ms

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

simplify5.2s

Counts
47 → 47
Iterations
IterNodes
done5000
21668
1380
0114

prune1.1s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes2.0s

Accuracy

83.8% (0.4b remaining)

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

bsearch463.0ms

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

simplify38.0ms

Iterations
IterNodes
done35
135
022

end0.0ms

sample6.4s

Algorithm
intervals
Results
3.7s11795×body80valid