Details

Time bar (total: 5.5m)

sample92.0ms

Algorithm
intervals
Results
36.0ms424×body80valid

simplify73.0ms

Counts
1 → 1
Iterations
IterNodes
done106
5106
4105
382
248
126
015

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* a b) (* x y))
0.0b
(+ (* c i) (+ (* a b) (* x y)))
0.0b
(+ (* z t) (+ (* c i) (+ (* a b) (* x y))))

rewrite93.0ms

Algorithm
rewrite-expression-head
Rules
19×add-log-exp
10×sum-log
3×add-sqr-sqrt pow1 +-commutative *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+
2×associate-+r+
Counts
3 → 38
Calls
3 calls:
6.0ms
(+ (* a b) (* x y))
26.0ms
(+ (* c i) (+ (* a b) (* x y)))
59.0ms
(+ (* z t) (+ (* c i) (+ (* a b) (* x y))))

series457.0ms

Counts
3 → 9
Calls
3 calls:
43.0ms
(+ (* a b) (* x y))
103.0ms
(+ (* c i) (+ (* a b) (* x y)))
311.0ms
(+ (* z t) (+ (* c i) (+ (* a b) (* x y))))

simplify639.0ms

Counts
47 → 47
Iterations
IterNodes
done5001
21424
1281
081

prune338.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize38.0ms

Local error

Found 4 expressions with local error:

0.4b
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
0.4b
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
0.4b
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
0.5b
(* (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))) (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))))

rewrite382.0ms

Algorithm
rewrite-expression-head
Rules
102×cbrt-div
85×flip3-+ flip-+
68×frac-add
36×cbrt-prod frac-times
35×*-un-lft-identity
23×add-sqr-sqrt
15×add-cube-cbrt
11×pow1
9×pow1/3 swap-sqr distribute-lft-out
7×associate-*r* associate-*l*
6×associate-*l/ associate-*r/ add-exp-log
4×add-cbrt-cube add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Counts
4 → 147
Calls
4 calls:
42.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
35.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
22.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
263.0ms
(* (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))) (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))))

series761.0ms

Counts
4 → 12
Calls
4 calls:
151.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
167.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
166.0ms
(cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t))))
277.0ms
(* (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))) (cbrt (+ (+ (* b a) (* c i)) (+ (* y x) (* z t)))))

simplify916.0ms

Counts
159 → 159
Iterations
IterNodes
done5000
22201
1574
0237

prune1.7s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize88.0ms

Local error

Found 4 expressions with local error:

4.1b
(- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z))))
16.8b
(/ (* (cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z))))) (cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))) (* (cbrt (+ (- (- (* c i) (* y x)) (* t z)) (* b a))) (cbrt (+ (- (- (* c i) (* y x)) (* t z)) (* b a)))))
33.5b
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
33.5b
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))

rewrite3.2s

Algorithm
rewrite-expression-head
Rules
13158×flip3-+ flip-+
13128×frac-times
8988×cbrt-div
8768×frac-sub
4488×associate-/l/
4452×associate-*l/ associate-*r/
137×flip3-- flip--
16×add-exp-log
8×cbrt-prod add-cbrt-cube associate-/r/
6×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
4×pow1 cbrt-undiv div-exp prod-exp cbrt-unprod
3×difference-of-squares
2×distribute-rgt-in distribute-lft-in pow1/3 associate--l+ associate--r+
1×clear-num associate-/r* sub-neg frac-2neg times-frac diff-log div-inv associate-/l*
Counts
4 → 4754
Calls
4 calls:
85.0ms
(- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z))))
1.0s
(/ (* (cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z))))) (cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))) (* (cbrt (+ (- (- (* c i) (* y x)) (* t z)) (* b a))) (cbrt (+ (- (- (* c i) (* y x)) (* t z)) (* b a)))))
46.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
46.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))

series2.6m

Counts
4 → 12
Calls
4 calls:
2.5m
(- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z))))
6.4s
(/ (* (cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z))))) (cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))) (* (cbrt (+ (- (- (* c i) (* y x)) (* t z)) (* b a))) (cbrt (+ (- (- (* c i) (* y x)) (* t z)) (* b a)))))
419.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
1.1s
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))

simplify2.3s

Counts
4766 → 4766
Iterations
IterNodes
done5000
03439

prune2.6m

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize150.0ms

Local error

Found 4 expressions with local error:

33.5b
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
33.5b
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
33.5b
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
33.5b
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
384×flip3-+ flip-+
264×cbrt-div
256×frac-times frac-sub
128×associate-*l/ associate-*r/
16×cbrt-prod
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 flip3-- add-cbrt-cube pow1/3 add-exp-log flip-- add-log-exp difference-of-squares
Counts
4 → 312
Calls
4 calls:
53.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
57.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
55.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
65.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))

series1.8s

Counts
4 → 12
Calls
4 calls:
437.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
467.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
350.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))
496.0ms
(cbrt (- (* (+ (* b a) (* c i)) (+ (* b a) (* c i))) (* (+ (* y x) (* t z)) (+ (* y x) (* t z)))))

simplify605.0ms

Counts
324 → 324
Iterations
IterNodes
done5000
11279
0420

prune4.3s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes1.5s

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done22
122
015

end0.0ms

sample3.2s

Algorithm
intervals
Results
1.2s13477×body80valid