Details

Time bar (total: 23.2s)

sample39.0ms

Algorithm
intervals
Results
18.0ms303×body80valid
1.0ms3×body1280valid
0.0ms2×body640valid
0.0ms1×body320valid
0.0ms1×body160valid

simplify78.0ms

Counts
1 → 1
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
09204
119164
244124
370124
481124
582124
done82124

prune11.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ 20.0 (+ 10.0 d2))
0.0b
(* d1 (+ 20.0 (+ 10.0 d2)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
7×add-sqr-sqrt add-log-exp
6×distribute-lft-out
5×associate-*r* add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log
3×sum-log fma-def associate-*l*
2×expm1-log1p-u flip3-+ associate-*r/ flip-+ log1p-expm1-u
1×distribute-rgt-in +-commutative associate-+r+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 46
Calls
2 calls:
12.0ms
(+ 20.0 (+ 10.0 d2))
58.0ms
(* d1 (+ 20.0 (+ 10.0 d2)))

series62.0ms

Counts
2 → 6
Calls
2 calls:
18.0ms
(+ 20.0 (+ 10.0 d2))
44.0ms
(* d1 (+ 20.0 (+ 10.0 d2)))

simplify3.6s

Counts
52 → 52
Iterations

Useful iterations: 3 (1.6s)

IterNodesCost
0698500
12037390
27457300
341237260
done50007260

prune169.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt d1) (cbrt d1))
0.7b
(cbrt d1)
0.7b
(cbrt d1)
0.7b
(cbrt d1)

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u 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 → 81
Calls
4 calls:
16.0ms
(* (cbrt d1) (cbrt d1))
1.0ms
(cbrt d1)
1.0ms
(cbrt d1)
1.0ms
(cbrt d1)

series1.1s

Counts
4 → 12
Calls
4 calls:
296.0ms
(* (cbrt d1) (cbrt d1))
230.0ms
(cbrt d1)
289.0ms
(cbrt d1)
255.0ms
(cbrt d1)

simplify4.6s

Counts
93 → 93
Iterations

Useful iterations: 3 (448.0ms)

IterNodesCost
06518502
114015989
238215714
3107615034
4420715034
done500215034

prune475.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 20.0 (+ 10.0 d2))
0.0b
(* (+ 10.0 d2) (+ 10.0 d2))
5.5b
(* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))
8.2b
(/ (* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (- 20.0 (+ 10.0 d2)))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
55×*-un-lft-identity
30×add-sqr-sqrt
20×add-cube-cbrt
14×prod-diff
13×pow1 add-cbrt-cube add-exp-log
12×distribute-lft-out
9×add-log-exp
8×associate-*r*
7×associate-*l*
6×associate-/r* flip3-+ times-frac swap-sqr associate-*r/ flip-+ distribute-lft-out--
4×distribute-rgt-in expm1-log1p-u frac-times distribute-lft-in flip3-- log1p-expm1-u flip-- difference-of-squares
3×sub-neg fma-neg prod-exp cbrt-unprod
2×cbrt-undiv diff-log div-exp pow-prod-down associate-*l/ associate-/r/ *-commutative unswap-sqr associate-/l/
1×pow2 clear-num sum-log frac-2neg pow-plus pow-sqr pow-prod-up div-inv associate-/l* associate--r+
Counts
4 → 138
Calls
4 calls:
23.0ms
(- 20.0 (+ 10.0 d2))
44.0ms
(* (+ 10.0 d2) (+ 10.0 d2))
21.0ms
(* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))
62.0ms
(/ (* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (- 20.0 (+ 10.0 d2)))

series279.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(- 20.0 (+ 10.0 d2))
17.0ms
(* (+ 10.0 d2) (+ 10.0 d2))
72.0ms
(* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2))))
160.0ms
(/ (* d1 (- (* 20.0 20.0) (* (+ 10.0 d2) (+ 10.0 d2)))) (- 20.0 (+ 10.0 d2)))

simplify2.5s

Counts
150 → 150
Iterations

Useful iterations: done (2.5s)

IterNodesCost
021741597
163035014
2245632288
done500032128

prune672.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize17.0ms

Local error

Found 1 expressions with local error:

0.0b
(fma 1.0 (* d2 d1) (* 30.0 d1))

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×add-sqr-sqrt expm1-log1p-u pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt fma-udef log1p-expm1-u add-log-exp
Counts
1 → 10
Calls
1 calls:
1.0ms
(fma 1.0 (* d2 d1) (* 30.0 d1))

series78.0ms

Counts
1 → 3
Calls
1 calls:
78.0ms
(fma 1.0 (* d2 d1) (* 30.0 d1))

simplify8.2s

Counts
13 → 13
Iterations

Useful iterations: 3 (102.0ms)

IterNodesCost
0182486
1282411
2782231
33191931
417551931
done50031931

prune74.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes108.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07139
19139
done9139

end0.0ms

sample785.0ms

Algorithm
intervals
Results
540.0ms9012×body80valid
10.0ms51×body1280valid
9.0ms51×body640valid
3.0ms25×body320valid
1.0ms16×body160valid