Details

Time bar (total: 5.3s)

sample18.0ms

Algorithm
intervals
Results
7.0ms309×body80valid

simplify4.0ms

Counts
1 → 1
Iterations
IterNodes
done14
214
111
06

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (* d1 d2) (* d1 d3))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
3×add-log-exp
1×add-sqr-sqrt pow1 +-commutative sum-log *-un-lft-identity flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ distribute-lft-out
Counts
1 → 12
Calls
1 calls:
8.0ms
(+ (* d1 d2) (* d1 d3))

series39.0ms

Counts
1 → 3
Calls
1 calls:
39.0ms
(+ (* d1 d2) (* d1 d3))

simplify1.1s

Counts
15 → 15
Iterations
IterNodes
done5002
32242
2454
1101
032

prune58.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(* (- d2 d3) d1)
0.2b
(* (* (- d2 d3) d1) d1)
4.7b
(* (* (* (- d2 d3) d1) d1) (+ d2 d3))
23.3b
(/ (* (* (* (- d2 d3) d1) d1) (+ d2 d3)) (* (- d2 d3) d1))

rewrite293.0ms

Algorithm
rewrite-expression-head
Rules
52×add-cbrt-cube add-exp-log
36×associate-*l/
26×prod-exp cbrt-unprod
20×pow1
12×add-sqr-sqrt *-un-lft-identity
10×associate-*r* pow-prod-down
9×flip3-- flip--
8×frac-times cbrt-undiv div-exp add-cube-cbrt associate-/l/
7×associate-*l*
6×flip3-+ flip-+
4×associate-*r/ add-log-exp
3×*-commutative
2×associate-/r/
1×distribute-rgt-in clear-num associate-/r* frac-2neg distribute-lft-in times-frac div-inv distribute-lft-out associate-/l* distribute-lft-out-- difference-of-squares unswap-sqr
Counts
4 → 113
Calls
4 calls:
26.0ms
(* (- d2 d3) d1)
34.0ms
(* (* (- d2 d3) d1) d1)
108.0ms
(* (* (* (- d2 d3) d1) d1) (+ d2 d3))
118.0ms
(/ (* (* (* (- d2 d3) d1) d1) (+ d2 d3)) (* (- d2 d3) d1))

series299.0ms

Counts
4 → 12
Calls
4 calls:
47.0ms
(* (- d2 d3) d1)
83.0ms
(* (* (- d2 d3) d1) d1)
137.0ms
(* (* (* (- d2 d3) d1) d1) (+ d2 d3))
31.0ms
(/ (* (* (* (- d2 d3) d1) d1) (+ d2 d3)) (* (- d2 d3) d1))

simplify316.0ms

Counts
125 → 125
Iterations
IterNodes
done5001
1608
0166

prune577.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

0.4b
(pow (* d1 (- d2 d3)) 3)
4.7b
(* (* (* (- d2 d3) d1) d1) (+ d2 d3))
23.3b
(/ (* (* (* (- d2 d3) d1) d1) (+ d2 d3)) (cbrt (pow (* d1 (- d2 d3)) 3)))
29.7b
(cbrt (pow (* d1 (- d2 d3)) 3))

rewrite263.0ms

Algorithm
rewrite-expression-head
Rules
30×add-exp-log
28×associate-*l/
26×add-cbrt-cube
24×cbrt-prod
16×pow1
13×*-un-lft-identity prod-exp cbrt-unprod
11×add-sqr-sqrt associate-/r* times-frac add-cube-cbrt
10×associate-*r/
9×flip3-- flip--
8×frac-times associate-/l/
7×pow-prod-down
6×cube-div flip3-+ flip-+
4×cube-mult cbrt-undiv cbrt-div unpow-prod-down unpow3 cube-prod div-exp associate-*r* add-log-exp sqr-pow
3×pow-unpow
2×pow-pow pow-exp associate-/r/ rem-cube-cbrt
1×distribute-rgt-in pow-to-exp clear-num frac-2neg distribute-lft-in pow1/3 associate-*l* *-commutative rem-cbrt-cube div-inv distribute-lft-out associate-/l*
Counts
4 → 126
Calls
4 calls:
11.0ms
(pow (* d1 (- d2 d3)) 3)
113.0ms
(* (* (* (- d2 d3) d1) d1) (+ d2 d3))
132.0ms
(/ (* (* (* (- d2 d3) d1) d1) (+ d2 d3)) (cbrt (pow (* d1 (- d2 d3)) 3)))
3.0ms
(cbrt (pow (* d1 (- d2 d3)) 3))

series370.0ms

Counts
4 → 12
Calls
4 calls:
77.0ms
(pow (* d1 (- d2 d3)) 3)
130.0ms
(* (* (* (- d2 d3) d1) d1) (+ d2 d3))
97.0ms
(/ (* (* (* (- d2 d3) d1) d1) (+ d2 d3)) (cbrt (pow (* d1 (- d2 d3)) 3)))
66.0ms
(cbrt (pow (* d1 (- d2 d3)) 3))

simplify382.0ms

Counts
138 → 138
Iterations
IterNodes
done5001
1759
0222

prune635.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes196.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
IterNodes
done9
19
06

end0.0ms

sample669.0ms

Algorithm
intervals
Results
336.0ms10127×body80valid