Details

Time bar (total: 13.1s)

sample50.0ms

Algorithm
intervals
Results
28.0ms372×body80valid

simplify3.2s

Counts
1 → 1
Iterations

Useful iterations: 3 (40.0ms)

IterNodesCost
01115
12513
26911
31889
44109
56939
69469
712639
815109
915959
done15959

prune8.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite208.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
5×diff-log
3×add-sqr-sqrt
2×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- *-un-lft-identity sum-log add-cbrt-cube flip--
1×associate--l- associate-+l- associate--l+ distribute-lft-out-- difference-of-squares
Counts
2 → 30
Calls
2 calls:
198.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
8.0ms
(- (* d1 d2) (* d1 d3))

series138.0ms

Counts
2 → 6
Calls
2 calls:
92.0ms
(- (+ (- (* d1 d2) (* d1 d3)) (* d4 d1)) (* d1 d1))
47.0ms
(- (* d1 d2) (* d1 d3))

simplify2.5s

Counts
36 → 36
Iterations

Useful iterations: 3 (965.0ms)

IterNodesCost
073590
1203459
2742375
34000359
done5000359

prune143.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(- d3 (- d4 d1))
0.0b
(- (* d1 d2) (* d1 (- d3 (- d4 d1))))
0.0b
(* d1 (- d3 (- d4 d1)))

rewrite169.0ms

Algorithm
rewrite-expression-head
Rules
15×*-un-lft-identity
11×add-sqr-sqrt
10×add-log-exp
8×associate--r+
7×sub-neg distribute-lft-out--
6×distribute-rgt-in distribute-lft-in associate-*r*
5×pow1 add-exp-log add-cube-cbrt add-cbrt-cube associate--r-
4×diff-log
3×flip3-- associate-*l* flip--
2×associate-*r/ difference-of-squares
1×pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
3 → 67
Calls
3 calls:
31.0ms
(- d3 (- d4 d1))
18.0ms
(- (* d1 d2) (* d1 (- d3 (- d4 d1))))
117.0ms
(* d1 (- d3 (- d4 d1)))

series150.0ms

Counts
3 → 9
Calls
3 calls:
24.0ms
(- d3 (- d4 d1))
87.0ms
(- (* d1 d2) (* d1 (- d3 (- d4 d1))))
39.0ms
(* d1 (- d3 (- d4 d1)))

simplify2.7s

Counts
76 → 76
Iterations

Useful iterations: 3 (1.2s)

IterNodesCost
0104802
1257719
2757659
33924649
done5001649

prune170.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (+ (cbrt (pow (* d1 (- d2 d3)) 3)) (* d4 d1)) (* d1 d1))
0.0b
(* d1 (- d2 d3))
0.3b
(pow (* d1 (- d2 d3)) 3)
26.8b
(cbrt (pow (* d1 (- d2 d3)) 3))

rewrite187.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
10×*-un-lft-identity
9×pow1 add-exp-log add-cbrt-cube add-log-exp
8×cbrt-prod add-cube-cbrt
6×associate-*r/
5×associate-*r*
4×cube-div flip3-- flip--
3×sub-neg pow-unpow associate-*l*
2×distribute-rgt-in cube-mult unpow-prod-down cbrt-div pow-pow distribute-lft-in diff-log unpow3 cube-prod pow-prod-down pow-exp prod-exp cbrt-unprod rem-cube-cbrt difference-of-squares sqr-pow
1×pow-to-exp pow1/3 associate--l+ sum-log *-commutative rem-cbrt-cube distribute-lft-out-- unswap-sqr
Counts
4 → 84
Calls
4 calls:
127.0ms
(- (+ (cbrt (pow (* d1 (- d2 d3)) 3)) (* d4 d1)) (* d1 d1))
43.0ms
(* d1 (- d2 d3))
11.0ms
(pow (* d1 (- d2 d3)) 3)
4.0ms
(cbrt (pow (* d1 (- d2 d3)) 3))

series291.0ms

Counts
4 → 12
Calls
4 calls:
93.0ms
(- (+ (cbrt (pow (* d1 (- d2 d3)) 3)) (* d4 d1)) (* d1 d1))
39.0ms
(* d1 (- d2 d3))
74.0ms
(pow (* d1 (- d2 d3)) 3)
86.0ms
(cbrt (pow (* d1 (- d2 d3)) 3))

simplify820.0ms

Counts
96 → 96
Iterations

Useful iterations: done (818.0ms)

IterNodesCost
01581215
1373963
21341865
done5000857

prune333.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes111.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11111
done1111

end0.0ms

sample1.9s

Algorithm
intervals
Results
1.4s11976×body80valid