Details

Time bar (total: 22.7s)

sample69.0ms

Algorithm
intervals
Results
16.0ms237×body80valid
14.0ms17×body320valid
5.0ms19×body640valid
4.0ms13×body1280valid
1.0ms9×body160valid

simplify2.8s

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
12313
24413
312213
433413
597613
6403513
done500013

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 16.7b

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- t x) (- a z))
3.6b
(+ x (* (- y z) (/ (- t x) (- a z))))
4.6b
(* (- y z) (/ (- t x) (- a z)))

rewrite133.0ms

Algorithm
rewrite-expression-head
Rules
78×add-sqr-sqrt
73×*-un-lft-identity
51×times-frac
31×associate-*r*
27×add-cube-cbrt
23×distribute-lft-out-- difference-of-squares
10×add-exp-log add-cbrt-cube
5×pow1 flip3-- associate-*l* associate-/r* flip-- associate-/l* add-log-exp
4×associate-/r/
2×cbrt-undiv frac-times div-exp associate-*l/ prod-exp cbrt-unprod div-inv associate-/l/ unswap-sqr
1×+-commutative frac-2neg flip3-+ div-sub associate-*r/ pow-prod-down clear-num sum-log *-commutative flip-+
Counts
3 → 119
Calls
3 calls:
38.0ms
(/ (- t x) (- a z))
9.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
77.0ms
(* (- y z) (/ (- t x) (- a z)))

series521.0ms

Counts
3 → 9
Calls
3 calls:
66.0ms
(/ (- t x) (- a z))
240.0ms
(+ x (* (- y z) (/ (- t x) (- a z))))
215.0ms
(* (- y z) (/ (- t x) (- a z)))

simplify2.1s

Counts
128 → 128
Iterations

Useful iterations: 2 (364.0ms)

IterNodesCost
01831813
15001716
226721606
done50021606

prune482.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 5.5b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite277.0ms

Algorithm
rewrite-expression-head
Rules
22×add-exp-log
17×add-sqr-sqrt
16×cbrt-div
14×*-un-lft-identity add-cbrt-cube
13×associate-*l*
10×cbrt-prod flip3-- flip--
9×prod-exp cbrt-unprod
8×add-cube-cbrt associate-/r/
6×pow1 frac-times add-log-exp
5×associate-*r*
4×cbrt-undiv associate-*r/ div-exp
3×associate-*l/ distribute-lft-out-- difference-of-squares
2×distribute-rgt-in sub-neg distribute-lft-in times-frac pow1/3 unswap-sqr
1×+-commutative flip3-+ pow-prod-down sum-log *-commutative flip-+ div-inv
Counts
4 → 89
Calls
4 calls:
6.0ms
(cbrt (- a z))
6.0ms
(cbrt (- a z))
246.0ms
(* (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))) (- y z))
17.0ms
(+ x (* (* (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))) (- y z)) (/ (cbrt (- t x)) (cbrt (- a z)))))

series989.0ms

Counts
4 → 12
Calls
4 calls:
202.0ms
(cbrt (- a z))
186.0ms
(cbrt (- a z))
327.0ms
(* (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))) (- y z))
274.0ms
(+ x (* (* (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))) (- y z)) (/ (cbrt (- t x)) (cbrt (- a z)))))

simplify1.9s

Counts
101 → 101
Iterations

Useful iterations: done (1.9s)

IterNodesCost
02402617
16562495
228461865
done50001757

prune573.0ms

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 5.3b

localize12.0ms

Local error

Found 3 expressions with local error:

0.3b
(* (- t x) (/ 1 (- a z)))
4.6b
(* (- y z) (* (- t x) (/ 1 (- a z))))
5.0b
(+ x (* (- y z) (* (- t x) (/ 1 (- a z)))))

rewrite196.0ms

Algorithm
rewrite-expression-head
Rules
31×add-sqr-sqrt
27×add-exp-log
25×*-un-lft-identity
22×associate-*r*
20×frac-times
17×times-frac add-cbrt-cube
16×flip3-- flip--
14×add-cube-cbrt
13×prod-exp
10×pow1 associate-*r/ associate-*l* associate-*l/
7×cbrt-unprod
5×distribute-lft-out-- add-log-exp difference-of-squares
4×div-exp pow-prod-down un-div-inv
3×unswap-sqr
2×cbrt-undiv rec-exp 1-exp associate-/r/ *-commutative
1×+-commutative flip3-+ sum-log flip-+ div-inv
Counts
3 → 105
Calls
3 calls:
62.0ms
(* (- t x) (/ 1 (- a z)))
118.0ms
(* (- y z) (* (- t x) (/ 1 (- a z))))
12.0ms
(+ x (* (- y z) (* (- t x) (/ 1 (- a z)))))

series569.0ms

Counts
3 → 9
Calls
3 calls:
99.0ms
(* (- t x) (/ 1 (- a z)))
199.0ms
(* (- y z) (* (- t x) (/ 1 (- a z))))
271.0ms
(+ x (* (- y z) (* (- t x) (/ 1 (- a z)))))

simplify6.3s

Counts
114 → 114
Iterations

Useful iterations: done (6.3s)

IterNodesCost
02051893
15901725
242281422
done50011410

prune375.0ms

Pruning

11 alts after pruning (8 fresh and 3 done)

Merged error: 5.3b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- a z) (- t x))
0.4b
(/ 1 (/ (- a z) (- t x)))
4.6b
(* (- y z) (/ 1 (/ (- a z) (- t x))))
6.2b
(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
392×times-frac
338×add-sqr-sqrt
326×*-un-lft-identity
158×add-cube-cbrt
98×associate-*r*
83×distribute-lft-out-- difference-of-squares
36×add-exp-log associate-/r*
20×add-cbrt-cube
18×associate-/r/
15×div-exp
11×flip3-- flip--
10×div-inv
8×associate-/l*
7×pow1 cbrt-undiv prod-exp
6×add-log-exp
5×associate-*l* unswap-sqr
4×rec-exp 1-exp
3×cbrt-unprod
2×frac-times frac-2neg associate-*l/ clear-num associate-/l/
1×+-commutative pow-flip flip3-+ div-sub associate-*r/ pow-prod-down sum-log un-div-inv *-commutative flip-+ inv-pow
Counts
4 → 344
Calls
4 calls:
26.0ms
(/ (- a z) (- t x))
39.0ms
(/ 1 (/ (- a z) (- t x)))
145.0ms
(* (- y z) (/ 1 (/ (- a z) (- t x))))
11.0ms
(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))

series901.0ms

Counts
4 → 12
Calls
4 calls:
71.0ms
(/ (- a z) (- t x))
229.0ms
(/ 1 (/ (- a z) (- t x)))
375.0ms
(* (- y z) (/ 1 (/ (- a z) (- t x))))
226.0ms
(+ x (* (- y z) (/ 1 (/ (- a z) (- t x)))))

simplify755.0ms

Counts
356 → 356
Iterations

Useful iterations: done (741.0ms)

IterNodesCost
03936138
111665194
done50014824

prune1.0s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 5.3b

regimes385.0ms

Accuracy

62.1% (2.9b remaining)

Error of 7.1b against oracle of 4.2b and baseline of 11.8b

bsearch5.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03593
14593
done4593

end0.0ms

sample1.9s

Algorithm
intervals
Results
586.0ms7776×body80valid
497.0ms493×body640valid
111.0ms260×body1280valid
73.0ms415×body320valid
30.0ms282×body160valid
5.0ms15×body2560valid