Details

Time bar (total: 13.1s)

sample83.0ms

Algorithm
intervals
Results
33.0ms378×body80valid

simplify109.0ms

Counts
1 → 1
Iterations
IterNodes
done121
5121
4120
395
256
126
013

prune14.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite53.0ms

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

series314.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(+ y (* b a))
145.0ms
(+ (+ x (* t a)) (* z (+ y (* b a))))
44.0ms
(+ x (* t a))
82.0ms
(* z (+ y (* b a)))

simplify1.1s

Counts
75 → 75
Iterations
IterNodes
done5002
22179
1410
0126

prune569.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite107.0ms

Algorithm
rewrite-expression-head
Rules
20×add-log-exp
10×sum-log
9×pow1 add-cbrt-cube add-exp-log
7×*-un-lft-identity flip3-+ flip-+
5×add-sqr-sqrt add-cube-cbrt
4×frac-add
3×+-commutative associate-*l* pow-prod-down prod-exp cbrt-unprod
1×associate-+l+ associate-+r+ associate-*r* *-commutative distribute-lft-out
Counts
4 → 61
Calls
4 calls:
13.0ms
(+ (* z y) (* b (* a z)))
51.0ms
(+ (+ x (* t a)) (+ (* z y) (* b (* a z))))
9.0ms
(+ x (* t a))
32.0ms
(* b (* a z))

series308.0ms

Counts
4 → 12
Calls
4 calls:
91.0ms
(+ (* z y) (* b (* a z)))
144.0ms
(+ (+ x (* t a)) (+ (* z y) (* b (* a z))))
43.0ms
(+ x (* t a))
29.0ms
(* b (* a z))

simplify929.0ms

Counts
73 → 73
Iterations
IterNodes
done5000
22149
1406
0127

prune544.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 4 expressions with local error:

2.2b
(* z (+ y (* b a)))
5.5b
(cbrt (* z (+ y (* b a))))
5.5b
(cbrt (* z (+ y (* b a))))
5.5b
(cbrt (* z (+ y (* b a))))

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt associate-*r/
6×pow1 cbrt-div *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×flip3-+ flip-+ add-log-exp
3×cbrt-prod pow1/3 associate-*r* associate-*l*
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 55
Calls
4 calls:
32.0ms
(* z (+ y (* b a)))
9.0ms
(cbrt (* z (+ y (* b a))))
9.0ms
(cbrt (* z (+ y (* b a))))
5.0ms
(cbrt (* z (+ y (* b a))))

series636.0ms

Counts
4 → 12
Calls
4 calls:
87.0ms
(* z (+ y (* b a)))
172.0ms
(cbrt (* z (+ y (* b a))))
203.0ms
(cbrt (* z (+ y (* b a))))
174.0ms
(cbrt (* z (+ y (* b a))))

simplify2.4s

Counts
67 → 67
Iterations
IterNodes
done5000
34626
2878
1254
092

prune668.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

localize59.0ms

Local error

Found 4 expressions with local error:

2.2b
(* z (+ y (* b a)))
2.8b
(cbrt (+ y (* b a)))
5.5b
(cbrt (* z (+ y (* b a))))
5.5b
(cbrt (* z (+ y (* b a))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt
7×*-un-lft-identity add-cube-cbrt
6×pow1 cbrt-div add-cbrt-cube associate-*r/ add-exp-log
5×cbrt-prod
4×flip3-+ flip-+ add-log-exp
3×pow1/3 associate-*r* associate-*l*
1×distribute-rgt-in distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 57
Calls
4 calls:
14.0ms
(* z (+ y (* b a)))
4.0ms
(cbrt (+ y (* b a)))
8.0ms
(cbrt (* z (+ y (* b a))))
10.0ms
(cbrt (* z (+ y (* b a))))

series594.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(* z (+ y (* b a)))
153.0ms
(cbrt (+ y (* b a)))
185.0ms
(cbrt (* z (+ y (* b a))))
152.0ms
(cbrt (* z (+ y (* b a))))

simplify594.0ms

Counts
69 → 69
Iterations
IterNodes
done5000
21262
1344
0129

prune610.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

regimes571.0ms

Accuracy

77.7% (0.8b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 3.4b

bsearch237.0ms

Steps
ItersRangePoint
9
4.709441665215474e+269
1.246781176950442e+279
1.212085654366817e+279
9
1.5363282026952066e-108
3.5033324084065267e-100
9.332256985882134e-102
5
-1.0975509169289048e-11
-4.903701412294961e-12
-5.101609161331272e-12

simplify7.0ms

Iterations
IterNodes
done61
261
160
043

end0.0ms

sample2.4s

Algorithm
intervals
Results
954.0ms11838×body80valid