Details

Time bar (total: 54.7s)

sample83.0ms

Algorithm
intervals
Results
28.0ms241×body80valid
7.0ms25×body320valid
6.0ms18×body640valid
4.0ms8×body1280valid
1.0ms8×body160valid

simplify3.9s

Counts
1 → 1
Iterations
IterNodes
done5000
61620
5661
4266
3103
243
120
011

prune24.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 28.6b

localize140.0ms

Local error

Found 3 expressions with local error:

0.0b
(* (- y z) (- t x))
2.8b
(+ x (/ (* (- y z) (- t x)) (- a z)))
21.1b
(/ (* (- y z) (- t x)) (- a z))

rewrite277.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt *-un-lft-identity
13×flip3-- flip--
10×add-cbrt-cube add-exp-log
8×frac-times associate-/l/
7×add-cube-cbrt
5×pow1 associate-/r* times-frac associate-*r* associate-*l* add-log-exp
4×associate-*l/ associate-*r/ distribute-lft-out-- difference-of-squares
3×insert-posit16
2×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp prod-exp associate-/r/ cbrt-unprod
1×+-commutative clear-num sum-log frac-2neg flip3-+ pow-prod-down *-commutative flip-+ div-inv distribute-lft-out associate-/l* unswap-sqr
Counts
3 → 84
Calls
3 calls:
109.0ms
(* (- y z) (- t x))
55.0ms
(+ x (/ (* (- y z) (- t x)) (- a z)))
102.0ms
(/ (* (- y z) (- t x)) (- a z))

series718.0ms

Counts
3 → 9
Calls
3 calls:
63.0ms
(* (- y z) (- t x))
365.0ms
(+ x (/ (* (- y z) (- t x)) (- a z)))
289.0ms
(/ (* (- y z) (- t x)) (- a z))

simplify3.7s

Counts
93 → 93
Iterations
IterNodes
done5003
21853
1481
0165

prune1.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 6.5b

localize196.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (- a z))
1.9b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
10.4b
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

rewrite485.0ms

Algorithm
rewrite-expression-head
Rules
75×add-sqr-sqrt
59×*-un-lft-identity
52×times-frac
46×associate-*r*
37×cbrt-prod
27×add-cube-cbrt
25×add-exp-log
18×cbrt-div add-cbrt-cube
17×associate-*l*
16×distribute-lft-out-- difference-of-squares
10×associate-/r/
9×flip3-- flip--
8×prod-exp cbrt-unprod
7×cbrt-undiv div-exp
6×pow1 add-log-exp unswap-sqr
5×frac-times
4×insert-posit16
3×associate-*l/ associate-*r/
2×pow1/3 div-inv
1×+-commutative sum-log flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 138
Calls
4 calls:
11.0ms
(cbrt (- a z))
19.0ms
(cbrt (- a z))
415.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
25.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

series1.6s

Counts
4 → 12
Calls
4 calls:
336.0ms
(cbrt (- a z))
274.0ms
(cbrt (- a z))
615.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z))))
373.0ms
(+ x (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (- t x) (cbrt (- a z)))))

simplify6.5s

Counts
150 → 150
Iterations
IterNodes
done5000
22909
1750
0258

prune2.3s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 6.5b

localize344.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (- a z))
0.6b
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
0.8b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))
12.1b
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

rewrite544.0ms

Algorithm
rewrite-expression-head
Rules
54×cbrt-div
40×add-exp-log
23×add-sqr-sqrt
22×add-cbrt-cube
19×flip3-- flip--
17×associate-*l*
16×times-frac associate-*r* associate-/r/
15×prod-exp cbrt-unprod
13×frac-times *-un-lft-identity
12×cbrt-undiv div-exp
9×cbrt-prod add-cube-cbrt
7×associate-*l/ associate-*r/
6×pow1 add-log-exp unswap-sqr
4×insert-posit16
2×pow1/3 div-inv distribute-lft-out-- difference-of-squares
1×+-commutative sum-log flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 116
Calls
4 calls:
17.0ms
(cbrt (- a z))
30.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
440.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))
33.0ms
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

series2.1s

Counts
4 → 12
Calls
4 calls:
359.0ms
(cbrt (- a z))
311.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
1.1s
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))
368.0ms
(+ x (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (* (cbrt (- t x)) (cbrt (- t x))) (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

simplify6.6s

Counts
128 → 128
Iterations
IterNodes
done5001
23268
1866
0313

prune2.5s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 6.4b

localize500.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
0.6b
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
0.7b
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (cbrt (- t x)) (* (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))))
12.3b
(+ x (* (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (cbrt (- t x)) (* (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))))) (/ (cbrt (- t x)) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

rewrite949.0ms

Algorithm
rewrite-expression-head
Rules
556×cbrt-div
149×frac-times
126×flip3-- flip--
92×associate-*r*
88×associate-/r/
51×associate-*l/ associate-*r/
40×add-exp-log
25×add-sqr-sqrt
22×add-cbrt-cube
20×times-frac
17×associate-*l*
15×prod-exp cbrt-unprod
13×*-un-lft-identity
12×cbrt-undiv div-exp
9×cbrt-prod add-cube-cbrt
6×pow1 add-log-exp unswap-sqr
4×insert-posit16
2×pow1/3 div-inv distribute-lft-out-- difference-of-squares
1×+-commutative sum-log flip3-+ pow-prod-down *-commutative flip-+
Counts
4 → 194
Calls
4 calls:
31.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
48.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
779.0ms
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (cbrt (- t x)) (* (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))))
31.0ms
(+ x (* (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (cbrt (- t x)) (* (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))))) (/ (cbrt (- t x)) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

series2.1s

Counts
4 → 12
Calls
4 calls:
297.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
325.0ms
(cbrt (* (cbrt (- a z)) (cbrt (- a z))))
1.0s
(* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (cbrt (- t x)) (* (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))))
412.0ms
(+ x (* (* (* (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (/ (cbrt (- t x)) (* (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z)))))))) (/ (cbrt (- t x)) (cbrt (cbrt (* (cbrt (- a z)) (cbrt (- a z))))))) (/ (cbrt (- t x)) (cbrt (cbrt (- a z))))))

simplify8.0s

Counts
206 → 206
Iterations
IterNodes
done5004
24473
11404
0540

prune4.1s

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 6.4b

regimes3.5s

Accuracy

31.7% (5.4b remaining)

Error of 10.1b against oracle of 4.6b and baseline of 12.6b

bsearch5.0ms

simplify44.0ms

Iterations
IterNodes
done58
158
046

end0.0ms

sample1.9s

Algorithm
intervals
Results
777.0ms7730×body80valid
175.0ms475×body640valid
149.0ms418×body320valid
135.0ms290×body1280valid
65.0ms297×body160valid
8.0ms18×body2560valid